formal methods
n. 形式化方法
[網絡] 形式方法；正規方法；正規化方法
熱門查詢
- long-suffering adj. 堅忍的；長期忍受的 n. 忍耐；堅忍；長期受苦
- shadow n. 陰影；影子；幽靈；庇護；隱蔽處 adj. 影子內閣的 vt. 遮蔽；使朦朧；尾隨；預示 vi. 漸變；變陰暗
- Lourdes n. 盧爾德（法國西南部城市）
- inequality n. 不平等；不同；不平均
- chip n. [電子] 芯片；籌碼；碎片；(食物的) 小片; 薄片 vt. 削，鑿；削成碎片 vi. 剝落；碎裂
- fracture n. 破裂，斷裂；[外科] 骨折 vt. 使破裂 vi. 破裂；折斷
- Brasov n. 布拉索夫，羅馬尼亞中部的縣
- strewth int. （表示驚訝、厭煩等）哎喲
- heroin n. [藥][毒物] 海洛因，嗎啡
- bolster n. 支持；長枕 vt. 支持；支撐 n. (Bolster)人名；(英)博爾斯特
- enforceability n. 可執行性；強制性
- returner n. 離職生養小孩一段時間后復職的婦女；回擊者
- ALI n. 阿里
- rescind vi. 解除；廢除；撤回
- bale n. 包；捆；災禍；不幸 v. 將 ... 打包
- tromp vt. 踐踏；跺腳；徹底打敗（等于tramp或trounce）
- coiled adj. 盤繞的；卷成圈的 v. 卷（coil的過去式和過去分詞）；盤繞
- caring v. 關心；照顧（care的現在分詞） adj. 有同情心的；表示或感到關懷或關心的
- all-rounder n. 多面手；全能型選手
- mercuric adj. [無化] 汞的；水銀的
